Signcryption schemes with threshold unsigncryption, and applications

The final publication is available at link.springer.comThe goal of a signcryption scheme is to achieve the same functionalities as encryption and signature together, but in a more efficient way than encrypting and signing separately. To increase security and reliability in some applications, the unsigncryption phase can be distributed among a group of users, through a (t, n)-threshold process. In this work we consider this task of threshold unsigncryption, which has received very few attention from the cryptographic literature up to now (maybe surprisingly, due to its potential applications). First we describe in detail the security requirements that a scheme for such a task should satisfy: existential unforgeability and indistinguishability, under insider chosen message/ciphertext attacks, in a multi-user setting. Then we show that generic constructions of signcryption schemes (by combining encryption and signature schemes) do not offer this level of security in the scenario of threshold unsigncryption. For this reason, we propose two new protocols for threshold unsigncryption, which we prove to be secure, one in the random oracle model and one in the standard model. The two proposed schemes enjoy an additional property that can be very useful. Namely, the unsigncryption protocol can be divided in two phases: a first one where the authenticity of the ciphertext is verified, maybe by a single party; and a second one where the ciphertext is decrypted by a subset of t receivers, without using the identity of the sender. As a consequence, the schemes can be used in applications requiring some level of anonymity, such as electronic auctions.Peer ReviewedPostprint (author's final draft

Contributions to secret sharing and other distributed cryptosystems

The present thesis deals with primitives related to the eld of distributed cryptography. First, we study signcryption schemes, which provide at the same time the functionalities of encryption and signature, where the unsigncryption operation is distributed. We consider this primitive from a theoretical point of view and set a security framework for it. Then, we present two signcryption schemes with threshold unsigncryption, with di erent properties. Furthermore, we use their authenticity property to apply them in the development of a di erent primitive: digital signatures with distributed veri cation. The second block of the thesis deals with the primitive of multi-secret sharing schemes. After stating some e ciency limitations of multi-secret sharing schemes in an information-theoretic scenario, we present several multi-secret sharing schemes with provable computational security. Finally, we use the results in multi-secret sharing schemes to generalize the traditional framework of distributed cryptography (with a single policy of authorized subsets) into a multipolicy setting, and we present both a multi-policy distributed decryption scheme and a multi-policy distributed signature scheme. Additionally, we give a short outlook on how to apply the presented multi-secret sharing schemes in the design of other multi-policy cryptosystems, like the signcryption schemes considered in this thesis. For all the schemes proposed throughout the thesis, we follow the same formal structure. After de ning the protocols of the primitive and the corresponding security model, we propose the new scheme and formally prove its security, by showing a reduction to some computationally hard mathematical problem.Avui en dia les persones estan implicades cada dia més en diferents activitats digitals tant en la seva vida professional com en el seu temps lliure. Molts articles de paper, com diners i tiquets, estan sent reemplaçats més i més per objectes digitals. La criptografia juga un paper crucial en aquesta transformació, perquè proporciona seguretat en la comunicació entre els diferents participants que utilitzen un canal digital. Depenent de la situació específica, alguns requisits de seguretat en la comunicació poden incloure privacitat (o confidencialitat), autenticitat, integritat o no-repudi. En algunes situacions, repartir l'operació secreta entre un grup de participants fa el procés més segur i fiable que quan la informació secreta està centralitzada en un únic participant; la criptografia distribuïda és l’àrea de la criptografia que estudia aquestes situacions. Aquesta tesi tracta de primitives relacionades amb el camp de la criptografia distribuïda. Primer, estudiem esquemes “signcryption”, que ofereixen a la vegada les funcionalitats de xifrat i signatura, on l'operació de “unsigncryption” està distribuïda. Considerem aquesta primitiva des d’un punt de vista teòric i establim un marc de seguretat per ella. Llavors, presentem dos esquemes “signcryption” amb operació de “unsigncryption” determinada per una estructura llindar, cada un amb diferents propietats. A més, utilitzem la seva propietat d’autenticitat per desenvolupar una nova primitiva: signatures digitals amb verificació distribuïda. El segon bloc de la tesi tracta la primitiva dels esquemes de compartició de multi-secrets. Després de demostrar algunes limitacions en l’eficiència dels esquemes de compartició de multi-secrets en un escenari de teoria de la informació, presentem diversos esquemes de compartició de multi-secrets amb seguretat computacional demostrable. Finalment, utilitzem els resultats obtinguts en els esquemes de compartició de multi-secrets per generalitzar el paradigma tradicional de la criptografia distribuïda (amb una única política de subconjunts autoritzats) a un marc multi-política, i presentem un esquema de desxifrat distribuït amb multi-política i un esquema de signatura distribuïda amb multi-política. A més, donem indicacions de com es poden aplicar els nostres esquemes de compartició de multi-secrets en el disseny d’altres criptosistemes amb multi-política, com per exemple els esquemes “signcryption” considerats en aquesta tesi. Per tots els esquemes proposats al llarg d’aquesta tesi, seguim la mateixa estructura formal. Després de definir els protocols de la primitiva primitius i el model de seguretat corresponent, proposem el nou esquema i demostrem formalment la seva seguretat, mitjançant una reducció a algun problema matemàtic computacionalment difícil

Many-body dispersion effects in the binding of adsorbates on metal surfaces

A correct description of electronic exchange and correlation effects for molecules in contact with extended (metal) surfaces is a challenging task for first-principles modeling. In this work we demonstrate the importance of collective van der Waals dispersion effects beyond the pairwise approximation for organic--inorganic systems on the example of atoms, molecules, and nanostructures adsorbed on metals. We use the recently developed many-body dispersion (MBD) approach in the context of density-functional theory [Phys. Rev. Lett. 108, 236402 (2012); J. Chem. Phys. 140, 18A508 (2014)] and assess its ability to correctly describe the binding of adsorbates on metal surfaces. We briefly review the MBD method and highlight its similarities to quantum-chemical approaches to electron correlation in a quasiparticle picture. In particular, we study the binding properties of xenon, 3,4,9,10-perylene-tetracarboxylic acid (PTCDA), and a graphene sheet adsorbed on the Ag(111) surface. Accounting for MBD effects we are able to describe changes in the anisotropic polarizability tensor, improve the description of adsorbate vibrations, and correctly capture the adsorbate--surface interaction screening. Comparison to other methods and experiment reveals that inclusion of MBD effects improves adsorption energies and geometries, by reducing the overbinding typically found in pairwise additive dispersion-correction approaches

Overview of the experimental tests in prototype

Experimental tests in prototype are necessary to understand the dynamic behaviour of the machine during different operating points. Hydraulic phenomena as well as its effect on the structure need to be studied in o rder to avoid instabilities during operation and to extend the life - time of the different components. For this purpose, a complete experimental study of a large Francis turbine prototype has been performed installing several sensors along the machine. Pres sure sensors were installed in the penstock, spiral case, runner and draft tube, strain gauges were installed in the runner, vibration sensors were used in the stationary parts and different electrical and operational parameters were also measured. All the se signals were acquired simultaneously for different operating points of the turbine.Postprint (published version

Primeros registros precisos de Trox strandi Balthasar, 1936 (Coleoptera: Trogidae) en Marruecos y observaciones sobre su hábitat y variabilidad morfológica

Trox strandi is a rare species whose taxonomic status has been controversial and so far is only known from the type-locality, Sidi-bel-Abbes, in northwestern Algeria. However, it has been indicated generically from Libya, Tunisia and Morocco, but without providing precise locations or additional material. During surveys in southeastern Morocco in recent years, we have found two specimens ascribable to this species in as many other locations (Tameslemt, in the north foothills of the Eastern High Atlas, and Ksabi, in the upper basin of the Moulouya river), which are the first accurate records for this country. These stations are located in regions with arid and semi-arid bioclimate and scarce vegetation cover. Data on the habitat, diagnostic traits and morphological variability of the species are provided.Trox strandi es una especie rara cuyo estatus taxonómico ha sido controvertido y hasta el momento únicamente se conoce de la localidad tipo, Sidi-bel-Abbes, en el noroeste de Argelia. No obstante, ha sido señalada genéricamente de Libia, Túnez y Marruecos, pero sin que se aporten localidades concretas o material adicional. En el transcurso de diversos muestreos en el sureste de Marruecos durante los últimos años, hemos hallado dos ejemplares atribuibles a esta especie en otras tantas localidades (Tameslemt, en las estribaciones nororientales del Alto Atlas, y Ksabi, en el tramo alto del río Muluya), que constituyen los primeros registros precisos para este país. Estas localidades se sitúan en regiones con bioclima árido y semiárido y escasa cobertura vegetal. Se aportan datos sobre el hábitat, caracteres diagnósticos y variabilidad morfológica de la especie

Detection of hydraulic phenomena in francis turbines with different sensors

Nowadays, hydropower is demanded to provide flexibility and fast response into the electrical grid in order to compensate the non-constant electricity generation of other renewable sources. Hydraulic turbines are therefore demanded to work under o -design conditions more frequently, where di erent complex hydraulic phenomena appear, a ecting the machine stability as well as reducing the useful life of its components. Hence, it is desirable to detect in real-time these hydraulic phenomena to assess the operation of the machine. In this paper, a large medium-head Francis turbine was selected for this purpose. This prototype is instrumented with several sensors such as accelerometers, proximity probes, strain gauges, pressure sensors and a microphone. Results presented in this paper permit knowing which hydraulic phenomenon is detected with every sensor and which signal analysis technique is necessary to use. With this information, monitoring systems can be optimized with the most convenient sensors, locations and signal analysis techniquesPostprint (published version

An Active helideck testbed for floating structures based on a Stewart-Gough platform

A parallel robot testbed based on Stewart-Gough platform called Active-helideck is designed, developed and tested as a helicopter floating helideck. The objective of this testbed is to show the advantages of helicopters that use an active helideck upon landing on and taking off from ships or from offshore structures. Active-helideck compensates simulated movements of a ship at sea. The main goal of this study is to maintain the robot’s end effector (helideck) in a quasi-static position in accordance to an absolute inertial frame. Compensation is carried out through the coordinate action of its six prismatic actuators in function of an inertial measurement unit. Moreover, the simulation of the sea movement is done by a parallel robot called ship platform with three degrees of freedom. The ship platform is built with a vertical oscillation along the z axis, i.e. heave, and rotates on remaining axes, i.e. roll and pitch. Active helideck is able to compensate simulated movements by considering the ship as an inertial frame as observed in the experiment

Experimental measurements of the natural frequencies and mode shapes of rotating disk-blades-disk assemblies from the stationary frame

Determining the natural frequencies and mode shapes of rotating turbomachinery components from both rotating and stationary reference frames is of paramount importance to avoid resonance problems that could affect the normal operation of the machine, or even cause critical damages in these components. Due to their similarity to real engineering cases, this topic has been experimentally analyzed in the past for disk-shaft assemblies and rotor disk-blades assemblies (bladed-disk or blisk). The same topic is less analyzed for disk-blades-disk assemblies, although such configurations are widely used in centrifugal closed impellers of compressors, hydraulic pumps, pump-turbines, and runners of high head Francis turbines. In this paper, experimental measurements, varying the rotating speed of a disk-blade-disk assembly and exciting the first natural frequencies of the rotating frame, have been performed. The rotating structure is excited and measured by means of PZT patches from the rotating frame and with a Laser Doppler Vibrometer (LDV). In order to interpret the experimental results obtained from the stationary frame, a method to decompose the diametrical mode shapes of the structure in simple diametrical components (which define the diametrical mode shapes of a simple disk) has been proposed. It is concluded that the resonant frequencies detected with a stationary sensor correspond to the ones predicted with the decomposition method. Finally, a means to obtain equivalent results with numerical simulation methods is shown.Postprint (published version

Sensor-based optimized control of the full load instability in large hydraulic turbines

Hydropower plants are of paramount importance for the integration of intermittent renewable energy sources in the power grid. In order to match the energy generated and consumed, Large hydraulic turbines have to work under off-design conditions, which may lead to dangerous unstable operating points involving the hydraulic, mechanical and electrical system. Under these conditions, the stability of the grid and the safety of the power plant itself can be compromised. For many Francis Turbines one of these critical points, that usually limits the maximum output power, is the full load instability. Therefore, these machines usually work far away from this unstable point, reducing the effective operating range of the unit. In order to extend the operating range of the machine, working closer to this point with a reasonable safety margin, it is of paramount importance to monitor and to control relevant parameters of the unit, which have to be obtained with an accurate sensor acquisition strategy. Within the framework of a large EU project, field tests in a large Francis Turbine located in Canada (rated power of 444 MW) have been performed. Many different sensors were used to monitor several working parameters of the unit for all its operating range. Particularly for these tests, more than 80 signals, including ten type of different sensors and several operating signals that define the operating point of the unit, were simultaneously acquired. The present study, focuses on the optimization of the acquisition strategy, which includes type, number, location, acquisition frequency of the sensors and corresponding signal analysis to detect the full load instability and to prevent the unit from reaching this point. A systematic approach to determine this strategy has been followed. It has been found that some indicators obtained with different types of sensors are linearly correlated with the oscillating power. The optimized strategy has been determined based on the correlation characteristics (linearity, sensitivity and reactivity), the simplicity of the installation and the acquisition frequency necessary. Finally, an economic and easy implementable protection system based on the resulting optimized acquisition strategy is proposed. This system, which can be used in a generic Francis turbine with a similar full load instability, permits one to extend the operating range of the unit by working close to the instability with a reasonable safety margin.Postprint (published version